Integration of Simulink Models with Component-based Software Models

Integration of Simulink Models with Component-based Software Models

Model based development aims to facilitate the development of embedded control systems by emphasizing the separation of the design level from the implementation level. Model based design involves the use of multiple models that represent different views of a system, having different semantics of abstract system descriptions. Usually, in mechatronics systems, design proceeds by iterating model c...

Contract-Based Software Component Testing with UML Models

Improving model-based component testability can further model-based approaches to software component testing (SCT) for desirable testing effectiveness. Component contracts are useful testing-support artefacts to improve component testability. This paper presents a new contract-based SCT technique, Test by Contract (TbC), which extends the Design by Contract concept to the SCT domain, and levera...

Domain-Specific Software Component Models

We believe that for developing applications in a specific domain, the best kind of software component model to use is a domain-specific one. We also believe that current component models intended for specific domains are actually not domain-specific. In this paper we present an approach for deriving domain-specific component models from the domain model of a given domain, and show why such a co...

Scenario-Driven Analysis of Component-Based Software Architecture Models

The architectural model of a system provides a high level description of a system in terms of components and connectors that coordinate the components to meet global requirements. Given a set of components and a scenario-based representation of the required application specific interaction requirements between the components, the application architecture design introduces connectors that provid...

Generating Simulink and Stateflow Models from Software Specifications